Validating Plans with Continuous Effects
نویسندگان
چکیده
A critical element in the use of PDDL2.1, the modelling language developed for the International Planning Competition series, has been the common understanding of the semantics of the language. The fact that this has been implemented in plan validation software was vital to the progress of the competition. However, the validation of plans using actions with continuous effects presents new challenges (that precede the challenges presented by planning with those effects). In this paper we review the need for continuous effects, their semantics and the problems that arise in validation of plans that include them. We report our progress in implementing the semantics in an extended version of the plan validation software.
منابع مشابه
Validating Plans with Exogenous Events
We are concerned with the problem of deciding the validity of a complex plan involving interacting continuous activity. In these situations there is a need to model and reason about the continuous processes and events that arise as a consequence of the behaviour of the physical world in which the plan is expected to execute. In this paper we describe how events, which occur as the outcome of un...
متن کاملValidating Plans in the Context of Processes and Exogenous Events
Complex planning domains push the boundaries of the expressive power of planning domain modelling languages. Recent extensions to the standard planning languages have included expressions for temporal, metric and resource structures. Other work has also considered how process models can be incorporated into domain models. In this paper we consider the problem of expressing and validating models...
متن کاملA Flexible Constraint Model for Validating Plans with Durative Actions
Planning problems with durative actions represent one of the hot research topics in the area of AI planning. Because durative actions introduce numerical aspects to planning, constraint satisfaction technology is becoming more popular in solving this new type of planning problems. The paper describes a constraint programming approach for validating and finishing partially ordered plans with dur...
متن کاملDeveloping and Validating the Excellence Model for the Strategic Knowledge Management Case Study: Mobarakeh Steel Company
The aim of this study is to design the excellence in Mobarakeh Steel Company's strategic knowledge management. To achieve this goal, the researcher has used qualitative and quantitative methods. Therefore, the research method is the mixed one. This study, based on the nature of the data and data collection procedure, is a descriptive, exploratory research. It follows and applies development obj...
متن کاملPharmacokinetic Studies on Oximes in Organophosphate Poisoning: A Mini Review
Organophosphate (OP) poisoning is one of the most common causes of poisoning in developing countries especially in Southeastern Asia. Poisoning with phosphorus-containing organic chemicals or OP compounds can be managed with antidotes like oximes which are potential reactivators of acetylcholinesterase (AChE). The efficacy of oxime therapy in OP poisoned patients mainly depends upon various fac...
متن کامل